#include<stdio.h>

int main(void){
	float res = 0.0f;
	float number = 0.0f;
	while(1){
		scanf("%f", &number);
		if (number <= 0){
			break;
		} else {
			if (number > res) 
					res = number;
		}
	}
	printf("Biggest number: %.4f\n", res);
}
